退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:经典逻辑,连续语义和抽象机器
Thomas Streicher; Fachbereich Mathematik; B. Reus;
机译:通过组语义将Minsky机器转换为经典束逻辑的替代直接仿真
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:关于直觉的模态和时态逻辑及其经典伴随逻辑:拓扑语义和双仿真
机译:定逻辑程序的抽象定点语义和过程抽象语义
机译:抽象逻辑和一阶逻辑的扩展
机译:用于模拟结构过程异常的类似连续语义
机译:经典逻辑,延续语义和抽象机器
机译:基于语义逻辑的准自然语言人机对话装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。